『Intuitionistic Type Theory』 - pogi-log

『Intuitionistic Type Theory』

Per Martin-Löf. Intuitionistic Type Theory, 1988

https://intuitionistic.files.wordpress.com/2010/07/martin-lof-tt.pdf

原本？

新しく生成しなおしたもの？

Martin-Löfの直観主義型理論の論文

構成的型理論のやつ

関連